Nancy, France - PDFSEARCH.IO - Document Search Engine

Nancy, France
Results: 204

#	Item
11	A Lambda-Free Higher-Order Recursive Path Order Jasmin Christian Blanchette1,2,3 , Uwe Waldmann3 , and Daniel Wand3,4 1 Vrije Universiteit Amsterdam, the Netherlands Inria Nancy – Grand Est, Villers-lès-Nancy, France Add to Reading List Source URL: people.mpi-inf.mpg.de - Date: 2016-12-19 05:45:29
12	A Lambda-Free Higher-Order Recursive Path Order Jasmin Christian Blanchette1,2,3 , Uwe Waldmann3 , and Daniel Wand3,4 1 Vrije Universiteit Amsterdam, the Netherlands Inria Nancy – Grand Est, Villers-lès-Nancy, France Add to Reading List Source URL: people.mpi-inf.mpg.de - Date: 2016-12-19 05:45:29
13	Laplace-Beltrami Eigenfunctions Towards an algorithm that “understands” geometry Bruno L´evy INRIA - ALICE Villers-l`es-Nancy, France Add to Reading List Source URL: members.loria.fr - Date: 2016-10-17 03:42:45
14	Congruence Closure with Free Variables Haniel Barbosa1,2 , Pascal Fontaine1? and Andrew Reynolds3 1 LORIA–INRIA, Universit´e de Lorraine, Nancy, France Universidade Federal do Rio Grande do Norte, Natal, RN, Brazil Add to Reading List Source URL: members.loria.fr - Date: 2016-11-08 07:49:56
15	BPMThird International Conference on Business Process Management Presentation by 2005 Nancy, France, September Domenico Saccà Add to Reading List Source URL: bpm2005.loria.fr - Date: 2005-09-12 10:45:05
16	Simulating DAG Scheduling Algorithms with SimDAG Fr´ed´eric Suter (CNRS, IN2P3 Computing Center, France) Martin Quinson (Nancy University, France) Arnaud Legrand (CNRS, Grenoble University, France) Henri Casanova (Hawa Add to Reading List Source URL: simgrid.gforge.inria.fr - Date: 2015-02-23 12:35:12
17	ENCODING MONOMORPHIC AND POLYMORPHIC TYPES JASMIN CHRISTIAN BLANCHETTE, SASCHA BÖHME, ANDREI POPESCU, AND NICHOLAS SMALLBONE Inria & LORIA, Nancy, France; Max-Planck-Institut für Informatik, Saarbrücken, Germany e-mai Add to Reading List Source URL: people.mpi-inf.mpg.de - Date: 2015-05-28 18:05:41
18	Relaxed Synchronization with Ordered Read-Write Locks Jens Gustedt and Emmanuel Jeanvoine INRIA Nancy, Grand Est, France LORIA, AlGorille {jens.gustedt,emmanuel.jeanvoine}@inria.fr Add to Reading List Source URL: www.loria.fr - Date: 2012-05-21 10:01:37
19	Mining Workflow Recovery From Event Based Logs Walid Gaaloul, LORIA (INRIA - CNRS - Universities of Nancy), France Claude Godart, LORIA (INRIA - CNRS - Universities of Nancy), France BPM’2005, Nancy, France Add to Reading List Source URL: bpm2005.loria.fr Language: English - Date: 2005-09-12 10:45:05 Workflow technology Process management Workflow pattern Engineering Workflow Business process management Economy Business
20	Historical Society of Michigan 5815 Executive Dr. Lansing, MIContact: Nancy Feldbush Add to Reading List Source URL: www.hsmichigan.org Language: English - Date: 2016-04-30 18:04:44 Metro Detroit Michigan New France Detroit Wayne State University

UPDATE